Display Infeasibility Analysis
Type: Selection
Range: The settings listed below
Default: Off
This option controls whether the infeasibility analysis should be printed to the listing file in case the AIMMS Presolver detects that the model is infeasible. Possible values are:
On
Off
The information printed in the listing file is the constraint that appeared to be infeasible and all other constraints that the AIMMS Presolver used to reduce the bounds of the variables in this infeasible constraint. Also the reductions on the variable bounds in these constraints are shown. For example:
1 AIMMS presolve infeasibility analysis for the first solve of NLPModel.
2 c1 ..
3
4 + [Nonlinear term]
5 + 1 * x1 = 0 ;
6 |
name |
lower |
upper |
|
7 |
x2 |
-0.200 |
-> 0 |
0.200 |
8 |
y |
0 |
-> 4.200 |
inf |
9 |
[Nonlinear term] |
-inf |
0 |
|
10 |
x1 |
1 |
8 |
11 c2 ..
12
13 + x1 + y <= 4 ; ****
14 |
name |
lower |
upper |
15 |
x1 |
1 |
8 |
16 |
y |
4.2 |
inf |
The lines 11-16 show the constraint ‘c2’ for which the AIMMS Presolver found an inconsistency. The variables ‘x1’ and ‘y’ can never be lower than 1 and 4.2 respectively and therefore the sum of these variables must be greater than or equal to 5.2 which contradicts the right hand side value of 4 of constraint ‘c2’. The lower bound for variable ‘y’ was derived by the AIMMS Presolver from constraint ‘c1’ as shown in the lines 2-10. The original lower bound of variable ‘y’ was 0. The AIMMS Presolver also derived that the lower bound of variable ‘x2’ could be tightened from -0.2 to 0, but variable ‘x2’ was not (directly) responsible for the inconsistency.
Note
The amount of information displayed for the infeasibility analysis can be large and might not be useful.